Nuprl Definition : l_intersection
11,40
postcript
pdf
l_intersection(
eq
;
L1
;
L2
) == filter(
x
.deq-member(
eq
;
x
;
L2
);
L1
)
latex
Definitions
filter(
P
;
l
)
,
x
.
A
(
x
)
,
deq-member(
eq
;
x
;
L
)
FDL editor aliases
l_intersection
origin
x.deq-member(eq;x;L2);L1) x.deq-member(eq;x;L2);L1) x.A(x)